DifreEngine: Distributed Forward Reasoning Engine with General Purpose
نویسندگان
چکیده
In this paper, we propose a distributed forward reasoning engine with general purpose called DifreEngine. We present the architecture of DifreEngine with detailed description of its modules. And then, we describe the working process of DifreEngine. Also we introduce the working mechanism of three important algorithms in DifreEngine called task division, nodes management and task scheduling. The DifreEngine makes efficient general forward reasoning possible.
منابع مشابه
Fast Anticipatory Reasoning for Computing Anticipatory Systems
Anticipatory reasoning engine is an indispensable component for computing anticipatory systems. In practical computing anticipatory systems, the efficiency of anticipatory reasoning engine is a key issue to satisfy the real-time requirements from applications. FreeEnCal: a forward reasoning engine for general-purpose purpose is a hopeful candidate for anticipatory reasoning engines. However, th...
متن کاملEfficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
A practical anticipatory system with requirements of high reliability and high security must be able to perform any anticipatory reasoning to get enough effective conclusions anticipatorily within an acceptable time in order to satisfy the requirements from applications. This is a contradictory requirement since the execution time of anticipatory reasoning gets longer in proportion to the amoun...
متن کاملParallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers
An automated forward deduction system for entailment calculus is an indispensable component of many application systems – such as theorem finding, active database, knowledge discovery systems – that require an autonomous reasoning engine. The performance of an automated forward deduction system is crucial to its applicability. In this paper, we present some parallel forward deduction algorithms...
متن کاملPeer-to-Peer Reasoning in the Semantic Web
The complexity of reasoning put forward by the Semantic Web has posed tremendous challenge to knowledge reasoning system. Knowledge is naturally distributed across the World Wide Web. Echoing with keyword-based search engine, a centralised approach is unlikely to scale because of the added complexity and requirement for more precise and richer search. This paper describes the motivation and des...
متن کاملAn Agent Architecture That Combines Backward and Forward Reasoning
We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference engine underlying agents. Roughly speaking, the backward reasoning component of the proof procedure is responsible for the deliberative behaviour of agents, whereas the forward reasoning component is res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSW
دوره 8 شماره
صفحات -
تاریخ انتشار 2013